<?php

	exit (42);

?>
